Module isotope_parser::token [−][src]
Expand description
Keywords and special characters
Constants
ASSERT_EQ | An equality check |
ASSIGN | An assignment |
BETA | A beta reduction statement |
BETA_ETA | A beta-eta reduction statement |
BOOL | The keyword for the type of boolean values |
ETA | An eta reduction statement |
FALSE | The keyword for false |
FN_ARROW | A function type arrow |
HEAD | A head reduction statement |
HOLE | The keyword for a “hole” |
LAMBDA | A lambda function |
LET | A let statement |
MAP_ARROW | A mapping arrow |
PI | A dependent function type |
SIMPLE_LAMBDA | A simple lambda function |
SIMPLE_PI | A simple dependent function type |
SPECIAL_CHARACTERS | The set of special characters |
TRUE | The keyword for true |
UNIVERSE | The keyword for typing universes |
UNIVERSE_VAR | The keyword for a typing universe variable |
Functions
is_keyword | Check whether a string not beginning with |